/**
 * OS_MONITOR
 *
 * Copyright 2010 Delft University of Technology
 */

#ifndef __OS_MONITOR_H__
#define __OS_MONITOR_H__

#define DEBUG_DATA	      0x80000000
#define VFCM_GATE	      0x80000001
#define VFCM_UNGATE	      0x80000002
#define VFCM_FREQ_CHANGE      0x80000003
#define START_EXECUTION	      0x80000004
#define END_EXECUTION	      0x80000005

void print_debug(int data);

void print_framebuffer();

unsigned int get_local_time();

unsigned int get_system_time();

#endif
